…#5446)

feat: Add more slice methods to the stdlib (noir-lang/noir#5424)
feat: Unquote multiple items from annotations (noir-lang/noir#5441)
chore: move SSA checks to a new folder (noir-lang/noir#5434)
feat: lsp rename/find-all-references for type aliases (noir-lang/noir#5414)
chore: dummy workflow (noir-lang/noir#5438)
chore: refactor logic around inlining `no_predicates` functions (noir-lang/noir#5433)
chore: extracts refactoring of reading error payloads from #5403 (noir-lang/noir#5413)
fix: lsp struct rename/reference difference (noir-lang/noir#5411)
chore: merge `BarretenbergVerifierBackend` and `BarretenbergBackend` (noir-lang/noir#5399)
feat: Sync from aztec-packages (noir-lang/noir#5432)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: Change panic to error in interpreter
(noir-lang/noir#5446)
feat: Add more slice methods to the stdlib
(noir-lang/noir#5424)
feat: Unquote multiple items from annotations
(noir-lang/noir#5441)
chore: move SSA checks to a new folder
(noir-lang/noir#5434)
feat: lsp rename/find-all-references for type aliases
(noir-lang/noir#5414)
chore: dummy workflow (noir-lang/noir#5438)
chore: refactor logic around inlining `no_predicates` functions
(noir-lang/noir#5433)
chore: extracts refactoring of reading error payloads from #5403
(noir-lang/noir#5413)
fix: lsp struct rename/reference difference
(noir-lang/noir#5411)
chore: merge `BarretenbergVerifierBackend` and `BarretenbergBackend`
(noir-lang/noir#5399)
feat: Sync from aztec-packages
(noir-lang/noir#5432)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <[email protected]>

🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.46.0</summary>

##
[0.46.0](aztec-package-v0.45.1...aztec-package-v0.46.0)
(2024-07-09)


### Features

* VK tree
([#6914](#6914))
([8631237](8631237))
</details>

<details><summary>barretenberg.js: 0.46.0</summary>

##
[0.46.0](barretenberg.js-v0.45.1...barretenberg.js-v0.46.0)
(2024-07-09)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.46.0</summary>

##
[0.46.0](aztec-packages-v0.45.1...aztec-packages-v0.46.0)
(2024-07-09)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
([#7222](#7222))

### Features

* Add more slice methods to the stdlib
(noir-lang/noir#5424)
([6137a10](6137a10))
* Constant inputs for blackbox
([#7222](#7222))
([9f9ded2](9f9ded2))
* Detect subgraphs that are completely independent from inputs or
outputs (noir-lang/noir#5402)
([c7b1ae4](c7b1ae4))
* Lsp "go to definition" for modules
(noir-lang/noir#5406)
([c7b1ae4](c7b1ae4))
* Lsp rename/find-all-references for traits
(noir-lang/noir#5409)
([c7b1ae4](c7b1ae4))
* Lsp rename/find-all-references for type aliases
(noir-lang/noir#5414)
([6137a10](6137a10))
* Sync from aztec-packages (noir-lang/noir#5408)
([c7b1ae4](c7b1ae4))
* Sync from aztec-packages (noir-lang/noir#5432)
([6137a10](6137a10))
* TXE docs and usability
([#7305](#7305))
([6b2a351](6b2a351))
* Unquote multiple items from annotations
(noir-lang/noir#5441)
([6137a10](6137a10))
* VK tree
([#6914](#6914))
([8631237](8631237))


### Bug Fixes

* Allow importing notes from other contracts and inject them in the
macros
([#7349](#7349))
([586c0b0](586c0b0))
* Change panic to error in interpreter
(noir-lang/noir#5446)
([6137a10](6137a10))
* Complete call stacks with no_predicates
(noir-lang/noir#5418)
([c7b1ae4](c7b1ae4))
* Correct range for overlfowing/underflowing integer assignment
(noir-lang/noir#5416)
([c7b1ae4](c7b1ae4))
* Included argshash computation in public call_interfaces and cleanup
([#7354](#7354))
([13e9b94](13e9b94))
* Lsp find struct reference in return locations and paths
(noir-lang/noir#5404)
([c7b1ae4](c7b1ae4))
* Lsp struct rename/reference difference
(noir-lang/noir#5411)
([6137a10](6137a10))
* Privacy leak in private refund
([#7358](#7358))
([e05f6f0](e05f6f0)),
closes
[#7321](#7321)


### Miscellaneous

* Add remaining slice methods to the interpreter
(noir-lang/noir#5422)
([c7b1ae4](c7b1ae4))
* Add test and benchmarks for poseidon2
(noir-lang/noir#5386)
([c7b1ae4](c7b1ae4))
* **avm:** Avoid including flavor where possible
([#7361](#7361))
([dbdffd6](dbdffd6))
* **avm:** Better log_derivative_inverse_round
([#7360](#7360))
([6329833](6329833))
* **avm:** Smaller prover
([#7359](#7359))
([7d8c833](7d8c833))
* **avm:** Smaller transcript
([#7357](#7357))
([3952a44](3952a44))
* **bb:** Do not instantiate Relation
([#7389](#7389))
([d9cbf4c](d9cbf4c))
* Counters
([#7342](#7342))
([819f370](819f370))
* **docs:** Fix link to docker
([#7395](#7395))
([ad4a401](ad4a401))
* **docs:** Update token tutorial
([#7241](#7241))
([0414eb5](0414eb5))
* Dummy workflow (noir-lang/noir#5438)
([6137a10](6137a10))
* Extracts refactoring of reading error payloads from
[#5403](#5403)
(noir-lang/noir#5413)
([6137a10](6137a10))
* Generate declaration files for VKs
([#7391](#7391))
([7c96636](7c96636))
* Merge `BarretenbergVerifierBackend` and `BarretenbergBackend`
(noir-lang/noir#5399)
([6137a10](6137a10))
* Move SSA checks to a new folder
(noir-lang/noir#5434)
([6137a10](6137a10))
* Notify Noir team on changes to the stdlib
([#7387](#7387))
([061aac3](061aac3))
* Optimize private call stack item hash for gate count
([#7285](#7285))
([783d9b6](783d9b6))
* Optimize public call stack item hashing
([#7330](#7330))
([4a5093c](4a5093c))
* Refactor logic around inlining `no_predicates` functions
(noir-lang/noir#5433)
([6137a10](6137a10))
* Replace relative paths to noir-protocol-circuits
([8510269](8510269))
* Replace relative paths to noir-protocol-circuits
([9eb8d1c](9eb8d1c))
* Sync external contributions
([#6984](#6984))
([a265b29](a265b29))


### Documentation

* Making private refunds smooth-brain friendly
([#7343](#7343))
([533c937](533c937))
* Update overview.md (fix link text)
([#7344](#7344))
([79e5856](79e5856))
</details>

<details><summary>barretenberg: 0.46.0</summary>

##
[0.46.0](barretenberg-v0.45.1...barretenberg-v0.46.0)
(2024-07-09)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
([#7222](#7222))

### Features

* Constant inputs for blackbox
([#7222](#7222))
([9f9ded2](9f9ded2))


### Miscellaneous

* **avm:** Avoid including flavor where possible
([#7361](#7361))
([dbdffd6](dbdffd6))
* **avm:** Better log_derivative_inverse_round
([#7360](#7360))
([6329833](6329833))
* **avm:** Smaller prover
([#7359](#7359))
([7d8c833](7d8c833))
* **avm:** Smaller transcript
([#7357](#7357))
([3952a44](3952a44))
* **bb:** Do not instantiate Relation
([#7389](#7389))
([d9cbf4c](d9cbf4c))
* Counters
([#7342](#7342))
([819f370](819f370))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.46.0</summary>

##
[0.46.0](AztecProtocol/aztec-packages@aztec-package-v0.45.1...aztec-package-v0.46.0)
(2024-07-09)


### Features

* VK tree
([#6914](AztecProtocol/aztec-packages#6914))
([8631237](AztecProtocol/aztec-packages@8631237))
</details>

<details><summary>barretenberg.js: 0.46.0</summary>

##
[0.46.0](AztecProtocol/aztec-packages@barretenberg.js-v0.45.1...barretenberg.js-v0.46.0)
(2024-07-09)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.46.0</summary>

##
[0.46.0](AztecProtocol/aztec-packages@aztec-packages-v0.45.1...aztec-packages-v0.46.0)
(2024-07-09)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
([#7222](AztecProtocol/aztec-packages#7222))

### Features

* Add more slice methods to the stdlib
(noir-lang/noir#5424)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Constant inputs for blackbox
([#7222](AztecProtocol/aztec-packages#7222))
([9f9ded2](AztecProtocol/aztec-packages@9f9ded2))
* Detect subgraphs that are completely independent from inputs or
outputs (noir-lang/noir#5402)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Lsp "go to definition" for modules
(noir-lang/noir#5406)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Lsp rename/find-all-references for traits
(noir-lang/noir#5409)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Lsp rename/find-all-references for type aliases
(noir-lang/noir#5414)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Sync from aztec-packages (noir-lang/noir#5408)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Sync from aztec-packages (noir-lang/noir#5432)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* TXE docs and usability
([#7305](AztecProtocol/aztec-packages#7305))
([6b2a351](AztecProtocol/aztec-packages@6b2a351))
* Unquote multiple items from annotations
(noir-lang/noir#5441)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* VK tree
([#6914](AztecProtocol/aztec-packages#6914))
([8631237](AztecProtocol/aztec-packages@8631237))


### Bug Fixes

* Allow importing notes from other contracts and inject them in the
macros
([#7349](AztecProtocol/aztec-packages#7349))
([586c0b0](AztecProtocol/aztec-packages@586c0b0))
* Change panic to error in interpreter
(noir-lang/noir#5446)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Complete call stacks with no_predicates
(noir-lang/noir#5418)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Correct range for overlfowing/underflowing integer assignment
(noir-lang/noir#5416)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Included argshash computation in public call_interfaces and cleanup
([#7354](AztecProtocol/aztec-packages#7354))
([13e9b94](AztecProtocol/aztec-packages@13e9b94))
* Lsp find struct reference in return locations and paths
(noir-lang/noir#5404)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Lsp struct rename/reference difference
(noir-lang/noir#5411)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Privacy leak in private refund
([#7358](AztecProtocol/aztec-packages#7358))
([e05f6f0](AztecProtocol/aztec-packages@e05f6f0)),
closes
[#7321](AztecProtocol/aztec-packages#7321)


### Miscellaneous

* Add remaining slice methods to the interpreter
(noir-lang/noir#5422)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* Add test and benchmarks for poseidon2
(noir-lang/noir#5386)
([c7b1ae4](AztecProtocol/aztec-packages@c7b1ae4))
* **avm:** Avoid including flavor where possible
([#7361](AztecProtocol/aztec-packages#7361))
([dbdffd6](AztecProtocol/aztec-packages@dbdffd6))
* **avm:** Better log_derivative_inverse_round
([#7360](AztecProtocol/aztec-packages#7360))
([6329833](AztecProtocol/aztec-packages@6329833))
* **avm:** Smaller prover
([#7359](AztecProtocol/aztec-packages#7359))
([7d8c833](AztecProtocol/aztec-packages@7d8c833))
* **avm:** Smaller transcript
([#7357](AztecProtocol/aztec-packages#7357))
([3952a44](AztecProtocol/aztec-packages@3952a44))
* **bb:** Do not instantiate Relation
([#7389](AztecProtocol/aztec-packages#7389))
([d9cbf4c](AztecProtocol/aztec-packages@d9cbf4c))
* Counters
([#7342](AztecProtocol/aztec-packages#7342))
([819f370](AztecProtocol/aztec-packages@819f370))
* **docs:** Fix link to docker
([#7395](AztecProtocol/aztec-packages#7395))
([ad4a401](AztecProtocol/aztec-packages@ad4a401))
* **docs:** Update token tutorial
([#7241](AztecProtocol/aztec-packages#7241))
([0414eb5](AztecProtocol/aztec-packages@0414eb5))
* Dummy workflow (noir-lang/noir#5438)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Extracts refactoring of reading error payloads from
[#5403](AztecProtocol/aztec-packages#5403)
(noir-lang/noir#5413)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Generate declaration files for VKs
([#7391](AztecProtocol/aztec-packages#7391))
([7c96636](AztecProtocol/aztec-packages@7c96636))
* Merge `BarretenbergVerifierBackend` and `BarretenbergBackend`
(noir-lang/noir#5399)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Move SSA checks to a new folder
(noir-lang/noir#5434)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Notify Noir team on changes to the stdlib
([#7387](AztecProtocol/aztec-packages#7387))
([061aac3](AztecProtocol/aztec-packages@061aac3))
* Optimize private call stack item hash for gate count
([#7285](AztecProtocol/aztec-packages#7285))
([783d9b6](AztecProtocol/aztec-packages@783d9b6))
* Optimize public call stack item hashing
([#7330](AztecProtocol/aztec-packages#7330))
([4a5093c](AztecProtocol/aztec-packages@4a5093c))
* Refactor logic around inlining `no_predicates` functions
(noir-lang/noir#5433)
([6137a10](AztecProtocol/aztec-packages@6137a10))
* Replace relative paths to noir-protocol-circuits
([8510269](AztecProtocol/aztec-packages@8510269))
* Replace relative paths to noir-protocol-circuits
([9eb8d1c](AztecProtocol/aztec-packages@9eb8d1c))
* Sync external contributions
([#6984](AztecProtocol/aztec-packages#6984))
([a265b29](AztecProtocol/aztec-packages@a265b29))


### Documentation

* Making private refunds smooth-brain friendly
([#7343](AztecProtocol/aztec-packages#7343))
([533c937](AztecProtocol/aztec-packages@533c937))
* Update overview.md (fix link text)
([#7344](AztecProtocol/aztec-packages#7344))
([79e5856](AztecProtocol/aztec-packages@79e5856))
</details>

<details><summary>barretenberg: 0.46.0</summary>

##
[0.46.0](AztecProtocol/aztec-packages@barretenberg-v0.45.1...barretenberg-v0.46.0)
(2024-07-09)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
([#7222](AztecProtocol/aztec-packages#7222))

### Features

* Constant inputs for blackbox
([#7222](AztecProtocol/aztec-packages#7222))
([9f9ded2](AztecProtocol/aztec-packages@9f9ded2))


### Miscellaneous

* **avm:** Avoid including flavor where possible
([#7361](AztecProtocol/aztec-packages#7361))
([dbdffd6](AztecProtocol/aztec-packages@dbdffd6))
* **avm:** Better log_derivative_inverse_round
([#7360](AztecProtocol/aztec-packages#7360))
([6329833](AztecProtocol/aztec-packages@6329833))
* **avm:** Smaller prover
([#7359](AztecProtocol/aztec-packages#7359))
([7d8c833](AztecProtocol/aztec-packages@7d8c833))
* **avm:** Smaller transcript
([#7357](AztecProtocol/aztec-packages#7357))
([3952a44](AztecProtocol/aztec-packages@3952a44))
* **bb:** Do not instantiate Relation
([#7389](AztecProtocol/aztec-packages#7389))
([d9cbf4c](AztecProtocol/aztec-packages@d9cbf4c))
* Counters
([#7342](AztecProtocol/aztec-packages#7342))
([819f370](AztecProtocol/aztec-packages@819f370))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

* master: (105 commits)
  chore: unbundle `check_array_is_initialized` (#5451)
  feat: Sync from aztec-packages (#5467)
  chore: bump bb to 0.45.1 (#5469)
  feat: prefix operator overload trait dispatch (#5423)
  feat: add CLI argument for debugging comptime blocks (#5192)
  chore: document EmbeddedCurvePoint (#5468)
  feat: lsp rename/find-all-references for struct members (#5443)
  feat(optimization): Deduplicate more instructions (#5457)
  fix: remove compile-time error for invalid indices (#5466)
  feat: lsp rename/find-all-references for local variables (#5439)
  feat: remove duplicated array reads at constant indices (#5445)
  fix: Account for the expected kind when resolving turbofish generics (#5448)
  fix: Fix issue with unresolved results (#5453)
  feat: apply `no_predicates` in stdlib (#5454)
  fix: prevent `no_predicates` from removing predicates in calling function (#5452)
  feat: lsp rename/find-all-references for globals (#5415)
  feat: remove redundant `EnableSideEffects` instructions (#5440)
  fix: Change panic to error in interpreter (#5446)
  feat: Add more slice methods to the stdlib (#5424)
  feat: Unquote multiple items from annotations (#5441)
  ...

* master: (62 commits)
  chore: keccak256 in Noir (#5316)
  chore: unbundle `check_array_is_initialized` (#5451)
  feat: Sync from aztec-packages (#5467)
  chore: bump bb to 0.45.1 (#5469)
  feat: prefix operator overload trait dispatch (#5423)
  feat: add CLI argument for debugging comptime blocks (#5192)
  chore: document EmbeddedCurvePoint (#5468)
  feat: lsp rename/find-all-references for struct members (#5443)
  feat(optimization): Deduplicate more instructions (#5457)
  fix: remove compile-time error for invalid indices (#5466)
  feat: lsp rename/find-all-references for local variables (#5439)
  feat: remove duplicated array reads at constant indices (#5445)
  fix: Account for the expected kind when resolving turbofish generics (#5448)
  fix: Fix issue with unresolved results (#5453)
  feat: apply `no_predicates` in stdlib (#5454)
  fix: prevent `no_predicates` from removing predicates in calling function (#5452)
  feat: lsp rename/find-all-references for globals (#5415)
  feat: remove redundant `EnableSideEffects` instructions (#5440)
  fix: Change panic to error in interpreter (#5446)
  feat: Add more slice methods to the stdlib (#5424)
  ...

🤖 I have created a release *beep* *boop*
---


<details><summary>0.32.0</summary>

## [0.32.0](v0.31.0...v0.32.0)
(2024-07-18)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
(AztecProtocol/aztec-packages#7222)
* error on too large integer value
([#5371](#5371))
* rename struct-specific TypeDefinition -> StructDefinition
([#5356](#5356))
* **frontend:** Explicit numeric generics and type kinds
([#5155](#5155))

### Features

* `mod.nr` entrypoint
([#5039](#5039))
([076fe0a](076fe0a))
* `static_assert` builtin
([#5342](#5342))
([ef44270](ef44270))
* Add `map`, `fold`, `reduce`, `any`, and `all` for slices
([#5331](#5331))
([03e25b4](03e25b4))
* Add CLI argument for debugging comptime blocks
([#5192](#5192))
([0b74a18](0b74a18))
* Add comptime support for `modulus_*` compiler builtins
([#5530](#5530))
([5bbce79](5bbce79))
* Add debug codelens action
([#5474](#5474))
([6bcdac4](6bcdac4))
* Add fuzzer for Noir programs
([#5251](#5251))
([e100017](e100017))
* Add gate profiler for noir circuits
(AztecProtocol/aztec-packages#7004)
([083070e](083070e))
* Add more slice methods to the stdlib
([#5424](#5424))
([4020e77](4020e77))
* Add opcodes flamegraph and refactor gates flamegraph
(AztecProtocol/aztec-packages#7282)
([32029f9](32029f9))
* Add support for fieldable in events
(AztecProtocol/aztec-packages#7310)
([3f71169](3f71169))
* Add support for usage of `super` in import paths
([#5502](#5502))
([256509e](256509e))
* Add support for wildcard types
([#5275](#5275))
([7445efb](7445efb))
* Add TraitConstraint type
([#5499](#5499))
([30cb65a](30cb65a))
* Add unquote function
([#5497](#5497))
([2947aba](2947aba))
* Allow arguments to attribute functions
([#5494](#5494))
([a33cafc](a33cafc))
* Allow comptime attributes on traits & functions
([#5496](#5496))
([b59a29e](b59a29e))
* Apply `no_predicates` in stdlib
([#5454](#5454))
([24d26c0](24d26c0))
* Build releases for `aarch64-unknown-linux-gnu` target
([#5289](#5289))
([f35614a](f35614a))
* Build simple dictionary from inspecting ACIR program
([#5264](#5264))
([508e677](508e677))
* Constant inputs for blackbox
(AztecProtocol/aztec-packages#7222)
([fb97bb9](fb97bb9))
* Detect subgraphs that are completely independent from inputs or
outputs ([#5402](#5402))
([7ea83a9](7ea83a9))
* Disable nargo color output if stderr is tty
([#5346](#5346))
([554dd6b](554dd6b))
* Error on too large integer value
([#5371](#5371))
([0c4fffa](0c4fffa))
* **frontend:** Explicit numeric generics and type kinds
([#5155](#5155))
([d4e03d0](d4e03d0))
* **frontend:** Where clause on impl
([#5320](#5320))
([cf938bc](cf938bc))
* Handle ACIR calls in the debugger
([#5051](#5051))
([0541568](0541568))
* Implement comptime support for `array_len` builtin
([#5272](#5272))
([c91186a](c91186a))
* Implement comptime support for `as_slice` builtin
([#5276](#5276))
([9db65d8](9db65d8))
* Implement trait dispatch in the comptime interpreter
([#5376](#5376))
([8aa5b2e](8aa5b2e))
* Insert trait impls into the program from type annotations
([#5327](#5327))
([efdd818](efdd818))
* Let `should_fail_with` check that the failure reason contains the
expected message
([#5319](#5319))
([cb9db55](cb9db55))
* Let LSP always work in a Noir workspace if there's any
([#5461](#5461))
([e0d7833](e0d7833))
* Lsp "find all references"
([#5395](#5395))
([ce1994c](ce1994c))
* Lsp "go to definition" for modules
([#5406](#5406))
([3e7f1f2](3e7f1f2))
* LSP document symbol
([#5532](#5532))
([1fabcde](1fabcde))
* LSP hover ([#5491](#5491))
([010c835](010c835))
* LSP inlay hints for let and global
([#5510](#5510))
([43f5b8d](43f5b8d))
* Lsp rename struct
([#5380](#5380))
([ee8b0cd](ee8b0cd))
* Lsp rename/find-all-references for globals
([#5415](#5415))
([fa9b444](fa9b444))
* Lsp rename/find-all-references for local variables
([#5439](#5439))
([bb6913a](bb6913a))
* Lsp rename/find-all-references for struct members
([#5443](#5443))
([a6d213d](a6d213d))
* Lsp rename/find-all-references for traits
([#5409](#5409))
([bf3a75a](bf3a75a))
* Lsp rename/find-all-references for type aliases
([#5414](#5414))
([24c621f](24c621f))
* **lsp:** Allow function rename
([#4294](#4294))
([3d86dc6](3d86dc6))
* Make macros operate on token streams instead of AST nodes
([#5301](#5301))
([7689d59](7689d59))
* **nargo:** Default expression width field in `Nargo.toml`
([#5505](#5505))
([dea6b32](dea6b32))
* **optimization:** Deduplicate more instructions
([#5457](#5457))
([c47242a](c47242a))
* Prefix operator overload trait dispatch
([#5423](#5423))
([a3bb09e](a3bb09e))
* Remove duplicated array reads at constant indices
([#5445](#5445))
([82a67a0](82a67a0))
* Remove redundant `EnableSideEffects` instructions
([#5440](#5440))
([e153ecb](e153ecb))
* Rename struct-specific TypeDefinition -&gt; StructDefinition
([#5356](#5356))
([7ffccf7](7ffccf7))
* Run `comptime` code from annotations on a type definition
([#5256](#5256))
([6cbe6a0](6cbe6a0))
* Skip reading values immediately after it being written into an array
([#5449](#5449))
([141ecdd](141ecdd))
* **stdlib:** Update stdlib to use explicit numeric generics
([#5306](#5306))
([8456185](8456185))
* Sync from aztec-packages
([#5347](#5347))
([47b621f](47b621f))
* Sync from aztec-packages
([#5377](#5377))
([7b77bbf](7b77bbf))
* Sync from noir
(AztecProtocol/aztec-packages#7257)
([32029f9](32029f9))
* Sync from noir
(AztecProtocol/aztec-packages#7288)
([322f863](322f863))
* Sync from noir
(AztecProtocol/aztec-packages#7308)
([322f863](322f863))
* Sync from noir
(AztecProtocol/aztec-packages#7332)
([3f71169](3f71169))
* Sync from noir
(AztecProtocol/aztec-packages#7352)
([98e72ac](98e72ac))
* Sync from noir
(AztecProtocol/aztec-packages#7392)
([fb97bb9](fb97bb9))
* Sync from noir
(AztecProtocol/aztec-packages#7400)
([fb97bb9](fb97bb9))
* Unquote multiple items from annotations
([#5441](#5441))
([be8eac6](be8eac6))
* Use runtime loops for brillig array initialization
([#5243](#5243))
([0bd22bb](0bd22bb))


### Bug Fixes

* Account for the expected kind when resolving turbofish generics
([#5448](#5448))
([82c335d](82c335d))
* Add more thorough check for whether a type is valid when passing it
from constrained code to unconstrained code
([#5009](#5009))
([318314d](318314d))
* Address compiler warnings coming from stdlib
([#5351](#5351))
([758a905](758a905))
* Allow importing notes from other contracts and inject them in the
macros (AztecProtocol/aztec-packages#7349)
([98e72ac](98e72ac))
* Avoid duplicating constant arrays
([#5287](#5287))
([3ef3645](3ef3645))
* Avoid panic in type system
([#5332](#5332))
([52d48ff](52d48ff))
* Avoid unnecessarily splitting expressions with multiplication terms
with a shared term
([#5291](#5291))
([19884f1](19884f1))
* Change panic to error in interpreter
([#5446](#5446))
([d44f882](d44f882))
* Complete call stacks with no_predicates
([#5418](#5418))
([df73fe2](df73fe2))
* Correct range for overlfowing/underflowing integer assignment
([#5416](#5416))
([30c50f5](30c50f5))
* Correctly detect signed/unsigned integer overflows/underflows
([#5375](#5375))
([0603bd3](0603bd3))
* **docs:** Fix broken docs link to gihtub
([#5398](#5398))
([70ebf60](70ebf60))
* Don't benchmark the "prove" command as it doesn't exist anymore
([#5323](#5323))
([3bb3b03](3bb3b03))
* Don't lazily elaborate functions
([#5282](#5282))
([0ea608f](0ea608f))
* Don't panic when using undefined variables in the interpreter
([#5381](#5381))
([94d209a](94d209a))
* Don't type error when calling certain trait impls in the interpreter
([#5471](#5471))
([299703c](299703c))
* Error on empty function bodies
([#5519](#5519))
([6a7f593](6a7f593))
* Error when a local function is called in a comptime context
([#5334](#5334))
([7cd4a4d](7cd4a4d))
* Fix incorrect return type being applied to stdlib functions
`modulus_be_bytes()`, `modulus_be_bits()`, etc.
([#5278](#5278))
([91a9b72](91a9b72))
* Fix issue with unresolved results
([#5453](#5453))
([c4154cb](c4154cb))
* Fix tokenization of unquoted types in macros
([#5326](#5326))
([6673c8b](6673c8b))
* Fix usage of `#[abi(tag)]` attribute with elaborator
([#5298](#5298))
([64dd48a](64dd48a))
* Go to definition from `use` statement
([#5390](#5390))
([53bae3b](53bae3b))
* Go to definition from aliased use
([#5396](#5396))
([90b135c](90b135c))
* Handle struct with nested arrays in oracle return values
([#5244](#5244))
([a30814f](a30814f))
* ICE when using a comptime let variable in runtime code
([#5391](#5391))
([9fb7e4d](9fb7e4d))
* Ignore calls to `Intrinsic::AsWitness` during brillig codegen
([#5350](#5350))
([9c11fd2](9c11fd2))
* Implement generic functions in the interpreter
([#5330](#5330))
([d8b9870](d8b9870))
* Included argshash computation in public call_interfaces and cleanup
(AztecProtocol/aztec-packages#7354)
([98e72ac](98e72ac))
* Lsp find struct reference in return locations and paths
([#5404](#5404))
([e1bcb73](e1bcb73))
* Lsp hover wasn't always working
([#5515](#5515))
([951e821](951e821))
* Lsp struct rename/reference difference
([#5411](#5411))
([580c16d](580c16d))
* Move BigInt modulus checks to runtime in brillig
([#5374](#5374))
([741d339](741d339))
* Mutability in the comptime interpreter
([#5517](#5517))
([8cab4ac](8cab4ac))
* **nargo_fmt:** Account for spaces before the generic list of a
function ([#5303](#5303))
([ec728dd](ec728dd))
* Never panic in LSP inlay hints
([#5534](#5534))
([6b11445](6b11445))
* Prevent `no_predicates` from removing predicates in calling function
([#5452](#5452))
([66244b6](66244b6))
* Remove compile-time error for invalid indices
([#5466](#5466))
([323e0c9](323e0c9))
* Remove panics in the interpreter when a builtin fails to type check
([#5382](#5382))
([c8161c8](c8161c8))
* Replace expects in interpreter with errors
([#5383](#5383))
([ac738b2](ac738b2))
* Replace panic in monomorphization with an error
([#5305](#5305))
([49e1b0c](49e1b0c))
* Replace std::HashMap with FxHashMap to fix frontend indeterminism
([#5385](#5385))
([9501495](9501495))
* Revert PR [#5449](#5449)
([#5548](#5548))
([a213c15](a213c15))
* Run macro processors in the elaborator
([#5472](#5472))
([89642c2](89642c2))
* Runtime brillig bigint id assignment
([#5369](#5369))
([a8928dd](a8928dd))
* Skip emission of brillig calls which will never be executed
([#5314](#5314))
([b859ef9](b859ef9))
* Truncate flamegraph text to the right
(AztecProtocol/aztec-packages#7333)
([3f71169](3f71169))
* Update `in_contract` flag before handling function metadata in
elaborator ([#5292](#5292))
([4c4ea2d](4c4ea2d))
* Use proper serialization in `AbiValue`
([#5270](#5270))
([d08b7b9](d08b7b9))
</details>

<details><summary>0.48.0</summary>

## [0.48.0](v0.47.0...v0.48.0)
(2024-07-18)


### ⚠ BREAKING CHANGES

* constant inputs for blackbox
(AztecProtocol/aztec-packages#7222)
* add session id to foreign call RPC requests
([#5205](#5205))
* restrict noir word size to u32
([#5180](#5180))
* switch `bb` over to read ACIR from nargo artifacts
(AztecProtocol/aztec-packages#6283)
* specify databus arrays for BB
(AztecProtocol/aztec-packages#6239)
* remove `Opcode::Brillig` from ACIR
(AztecProtocol/aztec-packages#5995)
* AES blackbox
(AztecProtocol/aztec-packages#6016)
* Bit shift is restricted to u8 right operand
([#4907](#4907))
* contract interfaces and better function calls
(AztecProtocol/aztec-packages#5687)
* change backend width to 4
(AztecProtocol/aztec-packages#5374)
* Use fixed size arrays in black box functions where sizes are known
(AztecProtocol/aztec-packages#5620)
* trap with revert data
(AztecProtocol/aztec-packages#5732)
* **acir:** BrilligCall opcode
(AztecProtocol/aztec-packages#5709)
* remove fixed-length keccak256
(AztecProtocol/aztec-packages#5617)
* storage_layout and `#[aztec(storage)]`
(AztecProtocol/aztec-packages#5387)
* **acir:** Add predicate to call opcode
(AztecProtocol/aztec-packages#5616)
* contract_abi-exports
(AztecProtocol/aztec-packages#5386)
* Brillig typed memory
(AztecProtocol/aztec-packages#5395)
* **acir:** Program and witness stack structure
(AztecProtocol/aztec-packages#5149)
* automatic NoteInterface and NoteGetterOptions auto select
(AztecProtocol/aztec-packages#4508)
* Acir call opcode
(AztecProtocol/aztec-packages#4773)
* Support contracts with no constructor
(AztecProtocol/aztec-packages#5175)
* Internal as a macro
(AztecProtocol/aztec-packages#4898)

### Features

* `multi_scalar_mul` blackbox func
(AztecProtocol/aztec-packages#6097)
([73a635e](73a635e))
* `variable_base_scalar_mul` blackbox func
(AztecProtocol/aztec-packages#6039)
([73a635e](73a635e))
* Acir call opcode
(AztecProtocol/aztec-packages#4773)
([c3c9e19](c3c9e19))
* **acir_gen:** Brillig stdlib
([#4848](#4848))
([0c8175c](0c8175c))
* **acir_gen:** Fold attribute at compile-time and initial non inlined
ACIR (AztecProtocol/aztec-packages#5341)
([a0f7474](a0f7474))
* **acir:** Add predicate to call opcode
(AztecProtocol/aztec-packages#5616)
([2bd006a](2bd006a))
* **acir:** BrilligCall opcode
(AztecProtocol/aztec-packages#5709)
([0f9ae0a](0f9ae0a))
* **acir:** Program and witness stack structure
(AztecProtocol/aztec-packages#5149)
([13eb71b](13eb71b))
* Activate return_data in ACIR opcodes
([#5080](#5080))
([c9fda3c](c9fda3c))
* **acvm_js:** Execute program
([#4694](#4694))
([386f6d0](386f6d0))
* **acvm:** Execute multiple circuits
(AztecProtocol/aztec-packages#5380)
([a0f7474](a0f7474))
* Add CMOV instruction to brillig and brillig gen
(AztecProtocol/aztec-packages#5308)
([13eb71b](13eb71b))
* Add native rust implementation of schnorr signature verification
([#5053](#5053))
([fab1c35](fab1c35))
* Add native rust implementations of pedersen functions
([#4871](#4871))
([fb039f7](fb039f7))
* Add return values to aztec fns
(AztecProtocol/aztec-packages#5389)
([2bd006a](2bd006a))
* Add session id to foreign call RPC requests
([#5205](#5205))
([14adafc](14adafc))
* AES blackbox
(AztecProtocol/aztec-packages#6016)
([73a635e](73a635e))
* Automatic NoteInterface and NoteGetterOptions auto select
(AztecProtocol/aztec-packages#4508)
([13eb71b](13eb71b))
* **avm:** Brillig CONST of size &gt; u128
(AztecProtocol/aztec-packages#5217)
([c3c9e19](c3c9e19))
* **avm:** Integrate AVM with initializers
(AztecProtocol/aztec-packages#5469)
([2bd006a](2bd006a))
* Bit shift is restricted to u8 right operand
([#4907](#4907))
([c4b0369](c4b0369))
* Brillig heterogeneous memory cells
(AztecProtocol/aztec-packages#5608)
([305bcdc](305bcdc))
* Brillig IR refactor
(AztecProtocol/aztec-packages#5233)
([c3c9e19](c3c9e19))
* Brillig pointer codegen and execution
(AztecProtocol/aztec-packages#5737)
([0f9ae0a](0f9ae0a))
* Brillig typed memory
(AztecProtocol/aztec-packages#5395)
([0bc18c4](0bc18c4))
* Change backend width to 4
(AztecProtocol/aztec-packages#5374)
([0f9ae0a](0f9ae0a))
* Check initializer msg.sender matches deployer from address preimage
(AztecProtocol/aztec-packages#5222)
([c3c9e19](c3c9e19))
* Constant inputs for blackbox
(AztecProtocol/aztec-packages#7222)
([fb97bb9](fb97bb9))
* Contract interfaces and better function calls
(AztecProtocol/aztec-packages#5687)
([0f9ae0a](0f9ae0a))
* Contract_abi-exports
(AztecProtocol/aztec-packages#5386)
([2bd006a](2bd006a))
* Dynamic assertion payloads v2
(AztecProtocol/aztec-packages#5949)
([73a635e](73a635e))
* Handle `BrilligCall` opcodes in the debugger
([#4897](#4897))
([b380dc4](b380dc4))
* Impl of missing functionality in new key store
(AztecProtocol/aztec-packages#5750)
([0f9ae0a](0f9ae0a))
* Increase default expression width to 4
([#4995](#4995))
([f01d309](f01d309))
* Initial Earthly CI
(AztecProtocol/aztec-packages#5069)
([c3c9e19](c3c9e19))
* Internal as a macro
(AztecProtocol/aztec-packages#4898)
([5f57ebb](5f57ebb))
* Make ACVM generic across fields
([#5114](#5114))
([70f374c](70f374c))
* Move abi demonomorphizer to noir_codegen and use noir_codegen in
protocol types
(AztecProtocol/aztec-packages#6302)
([436bbda](436bbda))
* Move to_radix to a blackbox
(AztecProtocol/aztec-packages#6294)
([436bbda](436bbda))
* **nargo:** Handle call stacks for multiple Acir calls
([#4711](#4711))
([5b23171](5b23171))
* **nargo:** Hidden option to show contract artifact paths written by
`nargo compile`
(AztecProtocol/aztec-packages#6131)
([ff67e14](ff67e14))
* New brillig field operations and refactor of binary operations
(AztecProtocol/aztec-packages#5208)
([c3c9e19](c3c9e19))
* Parsing non-string assertion payloads in noir js
(AztecProtocol/aztec-packages#6079)
([73a635e](73a635e))
* Private Kernel Recursion
(AztecProtocol/aztec-packages#6278)
([436bbda](436bbda))
* Proper padding in ts AES and constrained AES in body and header
computations (AztecProtocol/aztec-packages#6269)
([436bbda](436bbda))
* Remove conditional compilation of `bn254_blackbox_solver`
([#5058](#5058))
([9420d7c](9420d7c))
* Remove external blackbox solver from acir simulator
(AztecProtocol/aztec-packages#6586)
([a40a9a5](a40a9a5))
* Restore hashing args via slice for performance
(AztecProtocol/aztec-packages#5539)
([2bd006a](2bd006a))
* Restrict noir word size to u32
([#5180](#5180))
([bdb2bc6](bdb2bc6))
* Separate runtimes of SSA functions before inlining
([#5121](#5121))
([69eca9b](69eca9b))
* Set aztec private functions to be recursive
(AztecProtocol/aztec-packages#6192)
([73a635e](73a635e))
* Signed integer division and modulus in brillig gen
(AztecProtocol/aztec-packages#5279)
([c3c9e19](c3c9e19))
* **simulator:** Fetch return values at circuit execution
(AztecProtocol/aztec-packages#5642)
([305bcdc](305bcdc))
* Specify databus arrays for BB
(AztecProtocol/aztec-packages#6239)
([436bbda](436bbda))
* Storage_layout and `#[aztec(storage)]`
(AztecProtocol/aztec-packages#5387)
([2bd006a](2bd006a))
* Support contracts with no constructor
(AztecProtocol/aztec-packages#5175)
([c3c9e19](c3c9e19))
* Switch `bb` over to read ACIR from nargo artifacts
(AztecProtocol/aztec-packages#6283)
([436bbda](436bbda))
* Sync from aztec-packages
([#4483](#4483))
([fe8f277](fe8f277))
* Sync from noir
(AztecProtocol/aztec-packages#5234)
([c3c9e19](c3c9e19))
* Sync from noir
(AztecProtocol/aztec-packages#5286)
([c3c9e19](c3c9e19))
* Sync from noir
(AztecProtocol/aztec-packages#5572)
([2bd006a](2bd006a))
* Sync from noir
(AztecProtocol/aztec-packages#5619)
([2bd006a](2bd006a))
* Sync from noir
(AztecProtocol/aztec-packages#5697)
([305bcdc](305bcdc))
* Sync from noir
(AztecProtocol/aztec-packages#5794)
([0f9ae0a](0f9ae0a))
* Sync from noir
(AztecProtocol/aztec-packages#5814)
([0f9ae0a](0f9ae0a))
* Sync from noir
(AztecProtocol/aztec-packages#5935)
([1b867b1](1b867b1))
* Sync from noir
(AztecProtocol/aztec-packages#5955)
([1b867b1](1b867b1))
* Sync from noir
(AztecProtocol/aztec-packages#5999)
([1b867b1](1b867b1))
* Sync from noir
(AztecProtocol/aztec-packages#6280)
([436bbda](436bbda))
* Sync from noir
(AztecProtocol/aztec-packages#6332)
([436bbda](436bbda))
* Sync from noir
(AztecProtocol/aztec-packages#6573)
([436bbda](436bbda))
* Sync from noir
(AztecProtocol/aztec-packages#7392)
([fb97bb9](fb97bb9))
* Sync from noir
(AztecProtocol/aztec-packages#7400)
([fb97bb9](fb97bb9))
* ToRadix BB + avm transpiler support
(AztecProtocol/aztec-packages#6330)
([436bbda](436bbda))
* Trap with revert data
(AztecProtocol/aztec-packages#5732)
([0f9ae0a](0f9ae0a))
* Use fixed size arrays in black box functions where sizes are known
(AztecProtocol/aztec-packages#5620)
([0f9ae0a](0f9ae0a))
* Variable length returns
(AztecProtocol/aztec-packages#5633)
([305bcdc](305bcdc))


### Bug Fixes

* **acvm:** Mark outputs of Opcode::Call solvable
([#4708](#4708))
([8fea405](8fea405))
* Add support for nested arrays returned by oracles
([#5132](#5132))
([f846879](f846879))
* Avoid huge unrolling in hash_args
(AztecProtocol/aztec-packages#5703)
([305bcdc](305bcdc))
* Avoid unnecessarily splitting expressions with multiplication terms
with a shared term
([#5291](#5291))
([19884f1](19884f1))
* Catch panics from EC point creation (e.g. the point is at infinity)
([#4790](#4790))
([645dba1](645dba1))
* Check for public args in aztec functions
(AztecProtocol/aztec-packages#6355)
([436bbda](436bbda))
* Don't reuse brillig with slice arguments
(AztecProtocol/aztec-packages#5800)
([0f9ae0a](0f9ae0a))
* Handle struct with nested arrays in oracle return values
([#5244](#5244))
([a30814f](a30814f))
* Issue 4682 and add solver for unconstrained bigintegers
([#4729](#4729))
([e4d33c1](e4d33c1))
* Move BigInt modulus checks to runtime in brillig
([#5374](#5374))
([741d339](741d339))
* Noir test incorrect reporting
(AztecProtocol/aztec-packages#4925)
([5f57ebb](5f57ebb))
* Proper field inversion for bigints
([#4802](#4802))
([b46d0e3](b46d0e3))
* Runtime brillig bigint id assignment
([#5369](#5369))
([a8928dd](a8928dd))
* Temporarily revert to_radix blackbox
(AztecProtocol/aztec-packages#6304)
([436bbda](436bbda))


### Miscellaneous Chores

* Remove `Opcode::Brillig` from ACIR
(AztecProtocol/aztec-packages#5995)
([73a635e](73a635e))
* Remove fixed-length keccak256
(AztecProtocol/aztec-packages#5617)
([305bcdc](305bcdc))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

---------

Co-authored-by: kevaundray <[email protected]>